(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     25400,        866]
NotebookOptionsPosition[     21559,        755]
NotebookOutlinePosition[     24066,        816]
CellTagsIndexPosition[     23981,        811]
WindowTitle->FCSchoutenBruteForce
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[Cell[BoxData[
     ActionMenuBox[
      FrameBox[
       InterpretationBox[Cell[TextData[{
         "URL",
         StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
          StripOnInput->False]
        }]],
        TextCell[
         Row[{"URL", 
           Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
       StripOnInput->False], {"\<\"FeynCalc/ref/FCSchoutenBruteForce\"\>":>
      None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
      Module[{DocumentationSearch`Private`nb$}, 
       DocumentationSearch`Private`nb$ = NotebookPut[
          Notebook[{
            Cell["FeynCalc/ref/FCSchoutenBruteForce"]}, Visible -> False]]; 
       SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
       FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
       NotebookClose[DocumentationSearch`Private`nb$]; Null], 
      Delimiter, "\<\"Copy web URL\"\>":>
      Module[{DocumentationSearch`Private`nb$}, 
       DocumentationSearch`Private`nb$ = NotebookPut[
          Notebook[{
            Cell[
             BoxData[
              MakeBoxes[
               Hyperlink[
               "http://reference.wolfram.com/language/FeynCalc/ref/\
FCSchoutenBruteForce.html"], StandardForm]], "Input", TextClipboardType -> 
             "PlainText"]}, Visible -> False]]; 
       SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
       FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
       NotebookClose[DocumentationSearch`Private`nb$]; 
       Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
        NotebookLocate[{
          URL[
           StringJoin[
            If[
             TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$124618], 
             "http://reference.wolfram.com/system-modeler/", 
             "http://reference.wolfram.com/language/"], 
            "FeynCalc/ref/FCSchoutenBruteForce", ".html"]], None}]}]},
      Appearance->None,
      MenuAppearance->Automatic,
      MenuStyle->"URLMenu"]],
     LineSpacing->{1.4, 0}]], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["FCSchoutenBruteForce", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"FCSchoutenBruteForce", "[", 
       RowBox[{"exp", ",", 
        RowBox[{"{", "}"}], ",", 
        RowBox[{"{", "}"}]}], "]"}]], "InlineFormula"],
     " \[LineSeparator] can be used to show that certain terms are zero by \
repeatedly Schouten identity in a brute force way. The algorithm tries to \
find replacements which follow from the Schouten identity and make the length \
of the given expression shorter. It is not guaranteed to terminate and in \
general can often get stucked. Still, with some luck it is often possible to \
show that certain terms vanish by a sequence of transformations that would be \
otherwise very difficult to find."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->712159934],

Cell["", "SectionHeaderSpacer"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "FCSchoutenBruteForce", "]"}]], "Input",
 CellLabel->"In[402]:=",
 CellID->264147975],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"Collecting", "\[Rule]", "True"}], ",", 
    RowBox[{"Factoring", "\[Rule]", "Factor2"}], ",", 
    RowBox[{"FeynCalcExternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"Information", "\[Rule]", "True"}], ",", 
    RowBox[{"Rule", "\[Rule]", "True"}], ",", 
    RowBox[{"List", "\[Rule]", "False"}], ",", 
    RowBox[{"Take", "\[Rule]", "1"}], ",", 
    RowBox[{"Schouten", "\[Rule]", "False"}], ",", 
    RowBox[{"SchoutenAllowNegativeGain", "\[Rule]", "False"}], ",", 
    RowBox[{"SchoutenAllowZeroGain", "\[Rule]", "False"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{558, 53},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[402]=",
 CellID->1175898252]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->363321179],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->502204985],

Cell["\<\
One may not recognize it easily, but the following expression is zero by \
Schouten's identity\
\>", "Notes",
 CellID->723339137],

Cell[BoxData[
 RowBox[{"FCClearScalarProducts", "[", "]"}]], "Input",
 CellLabel->"In[1]:=",
 CellID->1332338150],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{
    RowBox[{"LC", "[", "]"}], "[", 
    RowBox[{"p1", ",", "p2", ",", "p3", ",", "p4"}], "]"}], " ", 
   RowBox[{"SP", "[", 
    RowBox[{"p5", ",", "p6"}], "]"}]}], "+", 
  RowBox[{
   RowBox[{
    RowBox[{"LC", "[", "]"}], "[", 
    RowBox[{"p2", ",", "p3", ",", "p4", ",", "p5"}], "]"}], " ", 
   RowBox[{"SP", "[", 
    RowBox[{"p1", ",", "p6"}], "]"}]}], "+", 
  RowBox[{
   RowBox[{
    RowBox[{"LC", "[", "]"}], "[", 
    RowBox[{"p3", ",", "p4", ",", "p5", ",", "p1"}], "]"}], " ", 
   RowBox[{"SP", "[", 
    RowBox[{"p2", ",", "p6"}], "]"}]}], "+", 
  RowBox[{
   RowBox[{
    RowBox[{"LC", "[", "]"}], "[", 
    RowBox[{"p4", ",", "p5", ",", "p1", ",", "p2"}], "]"}], " ", 
   RowBox[{"SP", "[", 
    RowBox[{"p3", ",", "p6"}], "]"}]}], "-", 
  RowBox[{
   RowBox[{
    RowBox[{"LC", "[", "]"}], "[", 
    RowBox[{"p1", ",", "p2", ",", "p3", ",", "p5"}], "]"}], " ", 
   RowBox[{"SP", "[", 
    RowBox[{"p4", ",", "p6"}], "]"}]}]}]], "Input",
 CellLabel->"In[2]:=",
 CellID->1838333672],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     FormBox[
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p5",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p6",
          TraditionalForm], "_"],
        TraditionalForm]}],
      TraditionalForm], ")"}], " ", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Epsilon]", "_"], 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p1",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p2",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p3",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p4",
          TraditionalForm], "_"],
        TraditionalForm]}]],
     TraditionalForm]}], "-", 
   RowBox[{
    RowBox[{"(", 
     FormBox[
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p4",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p6",
          TraditionalForm], "_"],
        TraditionalForm]}],
      TraditionalForm], ")"}], " ", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Epsilon]", "_"], 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p1",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p2",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p3",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p5",
          TraditionalForm], "_"],
        TraditionalForm]}]],
     TraditionalForm]}], "+", 
   RowBox[{
    RowBox[{"(", 
     FormBox[
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p1",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p6",
          TraditionalForm], "_"],
        TraditionalForm]}],
      TraditionalForm], ")"}], " ", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Epsilon]", "_"], 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p2",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p3",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p4",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p5",
          TraditionalForm], "_"],
        TraditionalForm]}]],
     TraditionalForm]}], "+", 
   RowBox[{
    RowBox[{"(", 
     FormBox[
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p2",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p6",
          TraditionalForm], "_"],
        TraditionalForm]}],
      TraditionalForm], ")"}], " ", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Epsilon]", "_"], 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p3",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p4",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p5",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p1",
          TraditionalForm], "_"],
        TraditionalForm]}]],
     TraditionalForm]}], "+", 
   RowBox[{
    RowBox[{"(", 
     FormBox[
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p3",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox["\<\"\[CenterDot]\"\>",
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p6",
          TraditionalForm], "_"],
        TraditionalForm]}],
      TraditionalForm], ")"}], " ", 
    FormBox[
     SuperscriptBox[
      OverscriptBox["\[Epsilon]", "_"], 
      RowBox[{
       FormBox[
        OverscriptBox[
         FormBox["p4",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p5",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p1",
          TraditionalForm], "_"],
        TraditionalForm], 
       FormBox[
        OverscriptBox[
         FormBox["p2",
          TraditionalForm], "_"],
        TraditionalForm]}]],
     TraditionalForm]}]}], TraditionalForm]], "Output",
 ImageSize->{427, 54},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]=",
 CellID->343559860]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FCSchoutenBruteForce", "[", 
  RowBox[{"%", ",", 
   RowBox[{"{", "}"}], ",", 
   RowBox[{"{", "}"}]}], "]"}]], "Input",
 CellLabel->"In[3]:=",
 CellID->148970268],

Cell[CellGroupData[{

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"FCSchoutenBruteForce: The following rule was applied: \"\>", 
    "\[InvisibleSpace]", 
    RowBox[{
     RowBox[{
      SuperscriptBox[
       OverscriptBox["\[Epsilon]", "_"], 
       RowBox[{
        FormBox[
         OverscriptBox[
          FormBox["p2",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox[
         OverscriptBox[
          FormBox["p3",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox[
         OverscriptBox[
          FormBox["p4",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox[
         OverscriptBox[
          FormBox["p5",
           TraditionalForm], "_"],
         TraditionalForm]}]], " ", 
      RowBox[{"(", 
       RowBox[{
        FormBox[
         OverscriptBox[
          FormBox["p1",
           TraditionalForm], "_"],
         TraditionalForm], 
        FormBox["\<\"\[CenterDot]\"\>",
         TraditionalForm], 
        FormBox[
         OverscriptBox[
          FormBox["p6",
           TraditionalForm], "_"],
         TraditionalForm]}], ")"}]}], "\[RuleDelayed]", 
     RowBox[{
      RowBox[{
       SuperscriptBox[
        OverscriptBox["\[Epsilon]", "_"], 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p4",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p5",
            TraditionalForm], "_"],
          TraditionalForm]}]], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p6",
            TraditionalForm], "_"],
          TraditionalForm]}], ")"}]}], "-", 
      RowBox[{
       SuperscriptBox[
        OverscriptBox["\[Epsilon]", "_"], 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p4",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p5",
            TraditionalForm], "_"],
          TraditionalForm]}]], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p6",
            TraditionalForm], "_"],
          TraditionalForm]}], ")"}]}], "+", 
      RowBox[{
       SuperscriptBox[
        OverscriptBox["\[Epsilon]", "_"], 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p5",
            TraditionalForm], "_"],
          TraditionalForm]}]], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p4",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p6",
            TraditionalForm], "_"],
          TraditionalForm]}], ")"}]}], "-", 
      RowBox[{
       SuperscriptBox[
        OverscriptBox["\[Epsilon]", "_"], 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p1",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p2",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p3",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p4",
            TraditionalForm], "_"],
          TraditionalForm]}]], " ", 
       RowBox[{"(", 
        RowBox[{
         FormBox[
          OverscriptBox[
           FormBox["p5",
            TraditionalForm], "_"],
          TraditionalForm], 
         FormBox["\<\"\[CenterDot]\"\>",
          TraditionalForm], 
         FormBox[
          OverscriptBox[
           FormBox["p6",
            TraditionalForm], "_"],
          TraditionalForm]}], ")"}]}]}]}], "\[InvisibleSpace]", "\<\" \"\>"}],
   
   SequenceForm[
   "FCSchoutenBruteForce: The following rule was applied: ", FeynCalc`Eps[
       FeynCalc`Momentum[$CellContext`p2], 
       FeynCalc`Momentum[$CellContext`p3], 
       FeynCalc`Momentum[$CellContext`p4], 
       FeynCalc`Momentum[$CellContext`p5]] FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`p1], 
       FeynCalc`Momentum[$CellContext`p6]] :> FeynCalc`Eps[
        FeynCalc`Momentum[$CellContext`p1], 
        FeynCalc`Momentum[$CellContext`p3], 
        FeynCalc`Momentum[$CellContext`p4], 
        FeynCalc`Momentum[$CellContext`p5]] FeynCalc`Pair[
        FeynCalc`Momentum[$CellContext`p2], 
        FeynCalc`Momentum[$CellContext`p6]] - FeynCalc`Eps[
       FeynCalc`Momentum[$CellContext`p1], 
       FeynCalc`Momentum[$CellContext`p2], 
       FeynCalc`Momentum[$CellContext`p4], 
       FeynCalc`Momentum[$CellContext`p5]] FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`p3], 
       FeynCalc`Momentum[$CellContext`p6]] + FeynCalc`Eps[
        FeynCalc`Momentum[$CellContext`p1], 
        FeynCalc`Momentum[$CellContext`p2], 
        FeynCalc`Momentum[$CellContext`p3], 
        FeynCalc`Momentum[$CellContext`p5]] FeynCalc`Pair[
        FeynCalc`Momentum[$CellContext`p4], 
        FeynCalc`Momentum[$CellContext`p6]] - FeynCalc`Eps[
       FeynCalc`Momentum[$CellContext`p1], 
       FeynCalc`Momentum[$CellContext`p2], 
       FeynCalc`Momentum[$CellContext`p3], 
       FeynCalc`Momentum[$CellContext`p4]] FeynCalc`Pair[
       FeynCalc`Momentum[$CellContext`p5], 
       FeynCalc`Momentum[$CellContext`p6]], " "],
   Editable->False], TraditionalForm]], "Print",
 CellLabel->"During evaluation of In[100]:=",
 CellID->157369453],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"FCSchoutenBruteForce: The numbers of terms in the expression \
decreased by: \"\>", "\[InvisibleSpace]", "5"}],
   SequenceForm[
   "FCSchoutenBruteForce: The numbers of terms in the expression decreased \
by: ", 5],
   Editable->False], TraditionalForm]], "Print",
 CellLabel->"During evaluation of In[100]:=",
 CellID->1838284525],

Cell[BoxData[
 FormBox[
  InterpretationBox[
   RowBox[{"\<\"FCSchoutenBruteForce: Current length of the expression: \"\>",
     "\[InvisibleSpace]", "0"}],
   SequenceForm["FCSchoutenBruteForce: Current length of the expression: ", 0],
   Editable->False], TraditionalForm]], "Print",
 CellLabel->"During evaluation of In[100]:=",
 CellID->1164973788]
}, Open  ]],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]=",
 CellID->1040921019]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"FCSchoutenBruteForce",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 6, 18.804696}", 
    "history" -> {"9.3", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "FCSchoutenBruteForce[exp, {}, {}] can be used to show that certain terms \
are zero by repeatedly Schouten identity in a brute force way. The algorithm \
tries to find replacements which follow from the Schouten identity and make \
the length of the given expression shorter. It is not guaranteed to terminate \
and in general can often get stucked. Still, with some luck it is often \
possible to show that certain terms vanish by a sequence of transformations \
that would be otherwise very difficult to find.", "synonyms" -> {}, 
    "tabletags" -> {}, "title" -> "FCSchoutenBruteForce", "titlemodifier" -> 
    "", "windowtitle" -> "FCSchoutenBruteForce", "type" -> "Symbol", "uri" -> 
    "FeynCalc/ref/FCSchoutenBruteForce"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[6041, 178, 387, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->363321179]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 23838, 804}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[592, 21, 2322, 53, 53, "AnchorBarGrid",
 CellID->1],
Cell[2917, 76, 297, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[3239, 91, 912, 20, 154, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4176, 115, 738, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->712159934],
Cell[4917, 141, 31, 0, 70, "SectionHeaderSpacer"],
Cell[CellGroupData[{
Cell[4973, 145, 124, 3, 70, "Input",
 CellID->264147975],
Cell[5100, 150, 880, 21, 74, "Output",
 CellID->1175898252]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[6041, 178, 387, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->363321179],
Cell[CellGroupData[{
Cell[6453, 197, 195, 6, 26, "ExampleSection",
 CellID->502204985],
Cell[6651, 205, 139, 4, 32, "Notes",
 CellID->723339137],
Cell[6793, 211, 113, 3, 27, "Input",
 CellID->1332338150],
Cell[CellGroupData[{
Cell[6931, 218, 1043, 33, 62, "Input",
 CellID->1838333672],
Cell[7977, 253, 5310, 217, 75, "Output",
 CellID->343559860]
}, Open  ]],
Cell[CellGroupData[{
Cell[13324, 475, 187, 6, 27, "Input",
 CellID->148970268],
Cell[CellGroupData[{
Cell[13536, 485, 7004, 232, 81, "Print",
 CellID->157369453],
Cell[20543, 719, 393, 10, 24, "Print",
 CellID->1838284525],
Cell[20939, 731, 352, 8, 24, "Print",
 CellID->1164973788]
}, Open  ]],
Cell[21306, 742, 187, 6, 35, "Output",
 CellID->1040921019]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[21532, 753, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

